GS·Λ Theories
نویسندگان
چکیده
منابع مشابه
Functorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملA REVIEW OF NEW THEORIES IN MIGRATION
Migration is the permanent movement of some people called migrant, from one place to another for some reasons and values. Their migration is determined by some values and goals that lead to changes in migrants’ interaction system. In human history the shape of migration was changed due to social and environmental changes. From the eve of 19 century migration became important social phenom...
متن کاملI Theories on Suppositio theories
Over the last 50 years, medieval theories of supposition have attracted a great deal of interest both among historians of philosophy and systematically oriented philosophers. That is, some scholars are mostly interested in the historical importance of such theories, and therefore try to explain their development against a historical background. Others, however, estimate that the conceptual cont...
متن کاملApplication of Learning Theories in Clinical Education
Introduction: The purpose of education is learning. Several theories have been raised about learning, which have tried to explain how learning occurs. They help teachers to choose teaching methods, prepare learning environment and determine students' activities. Given the importance of learning theories in education, this study aimed to review application of learning theories in nursing educati...
متن کاملTheories
We consider the equivalence of Lawvere theories and finitary monads on Set from the perspective of Endf (Set)-enriched category theory, where Endf (Set) is the category of finitary endofunctors of Set. We identify finitary monads with one-object Endf (Set)-categories, and ordinary categories admitting finite powers (i.e., n-fold products of each object with itself) with Endf (Set)-categories ad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80560-7